Varenicline for tobacco smoking cessation